A Coverage-Guided Test Generation Tool for Hybrid Systems
نویسندگان
چکیده
In this paper we describe a coverage-guided test generation tool for hybrid systems. The tool has been successfully applied to a number of case studies in control systems and in analog and mixed-signal
منابع مشابه
Test Coverage for Continuous and Hybrid Systems
We propose a novel test coverage measure for continuous and hybrid systems, which is defined using the star discrepancy notion. We also propose a test generation method guided by this coverage measure. This method was implemented in a prototype tool that can handle high dimensional systems (up to 100 dimensions).
متن کاملCoverage-guided test generation for continuous and hybrid systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ‘Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ‘completeness’. It is also used to guide inpu...
متن کاملA Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ’Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ’completeness’. It is also used to guide inpu...
متن کاملUsing Disparity to Enhance Test Generation for Hybrid Systems
This paper deals with the problem of test generation for hybrid systems, which are systems with mixed discrete and continuous dynamics. In our previous work [9], we developed a coverage guided test generation algorithm, inspired by a probabilistic motion planning technique. The algorithm is guided via a process of sampling goal states, which indicate the directions to steer the system towards. ...
متن کاملRobust Test Generation and Coverage for Hybrid Systems
Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system meets its design requirements, particularly the safety and correctness requirements of the system. In this paper, we develop a framework for generating tests from hybrid systems models. The core idea of the framework is to dev...
متن کامل